Integrating Triggers and Declarative Constraints in SQL Database Systems
نویسندگان
چکیده
This paper describes a model that integrates the execution of triggers with the evaluation of declarative constraints in SQL database systems. This model achieves full compatibility with the 1992 international standard for SQL (SQL92). It preserves the set semantics for declarative constraint evaluation while allowing the execution of powerful procedural triggers. It was implemented in DB2 for common servers and was recently accepted as the model for the emerging SQL standard (SQW).
منابع مشابه
A Comparison of Declarative and Procedural Constraints in Database Management Systems
Integrity constraints are used to ensure that the data in a database complies with rules that have been set to establish accurate and acceptable information for a database. Without integrity constraints, enforcing basic rules for a business data would be complex, if not impossible. Supporting integrity constraints is essential for database systems. Triggers are methods that are provided to the ...
متن کاملSoundcheck for SQL
The lion's share of datalog features have been incorporated into the SQL3 standard proposal. However, most SQL manuals still recommend to implement user-de ned conditions for data integrity nondeclaratively, by triggers or stored procedures. We describe how to implement known declarative database technology for integrity checking in SQL databases. We show how to represent and evaluate arbitrari...
متن کاملPractical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
From about the mid-1980' s to the mid-1990' s there was a flurry of research activity in the area of database triggers and constraints, seeing the development of numerous research proposals and prototypes. Soon thereafter, most mainstream database products ramped up their support for constraints and triggers, with expressive constraint specifications appearing in the SQL-92 standard, and both c...
متن کاملDeclarative Data Fusion - Syntax, Semantics, and Implementation
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other specialized software. While much attention has been paid to architecture, query languages, and query execution, the final step of actually fusing data from multiple sources into a consistent and homogeneous set is often...
متن کاملUsing Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules
In this paper we show that the language of declarative logic programming (DLP) with answer sets and its extensions can be used to specify database evolution due to updates and active rules, and to verify correctness of active rules with respect to a specification described using temporal logic and aggregate operators. We classify the specification of active rules into four kind of constraints w...
متن کامل